منابع مشابه
Teaching Specification-Based Testing
Historically, relatively less emphasis has been placed on software testing in comparison with other activities, such as systems analysis and design, of the software life cycle in an undergraduate computer science or software engineering curriculum. Testing, however, is a common and important technique used to detect program faults. Thus, testing must be taught rigorously to the students. This p...
متن کاملTeaching Model-Based Testing with the Leirios Test Generator
This paper proposes a technique to encourage the interest of students in learning formal methods. Our course is focused on the B method, involving basic knowledge of set theory, invariance proofs, refinement techniques and so on. While lectures and tutorials cover a large range of such concepts, the practical work is focused on applying the principles of a model-based approach in the context of...
متن کاملmortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولطراحی، ساخت و کنترل model based یک روبات موازی هگزا
توسعه و افزایش تولید صنایع و در پی آن رشد اقتصادی و اجتماعی یک جامعه در قرن جدید، با خودکار کردن روندهای تولید گره خورده است. یکی از اجزای خودکار ساختن صنایع، استفاده از روباتها در چرخه تولید به منظورهای مختلف می¬باشد؛ رنگ پاشی، جابجایی، نصب قطعات و جوشکاری بخش کوچکی از فضایی است که به روباتهای کارا نیازمند است. پس از استفاده فراوان از روباتهای سرال در صنایع و انجام پژوهشهای پایه¬ای بر روی طراح...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Teaching Mathematics and Computer Science
سال: 2020
ISSN: 1589-7389,2676-8364
DOI: 10.5485/tmcs.2020.0469